Elementy logiki matematycznej
Książka zawiera wybrane zagadnienia z logiki matematycznej i teorii mnogości.
Wprowadzenie do logiki i
Książka jest oryginalnym i nowoczesnym podręcznikiem logiki matematycznej i teorii mnogości, uzupełnionym o własne rezultaty badawcze (założeniowa dedukcja naturalna - DN2) oraz doświadczenia dydaktyczne autora. Zawiera obszerne, ale jednocześnie zwarte przedstawienie w zasadzie całej problematyki
